do while loop c programming